Section: Dissemination

Teaching - Supervision - Juries

• Software Verification

  • Axel Legay: Software Verification, 40 hours, Royal Holloway, University of London

  • Axel Legay: Modélisation et Vérification Formelle par Automates, 12 hours, University of Rennes 1.

  • Axel Legay: Méthodes d'analyse de risques, 28 hours, ENSIBS2 (Vannes)

  • Jean Quilbeuf: Modélisation et Vérification Formelle par Automates, TP 12 hours, University of Rennes 1.

• PhD: Mounir Chadli: Scheduling for Systems of Systems, Started on December 2014, Axel Legay

• [1] HdR: Axel Legay, Contribution to Statistical Model Checking, November 2015